?- [X|Y] = [1,2,3,4,5].
X = 1,
Y = [2, 3, 4, 5].